fun t (s: string, sl: string list) = 
	case sl of 
		h::[] => []
	|	h::sl' => t(s, sl')

val res = t("a",["b","c"])